Constraint algebra - PDFSEARCH.IO - Document Search Engine

Constraint algebra
Results: 94

#	Item
41	Exploring the Computational Tradeoff of more Reasoning and Less Searching Fahiem Bacchus Dept. Of Computer Science University Of Toronto Toronto, Ontario Add to Reading List Source URL: www.cs.toronto.edu Language: English - Date: 2002-05-15 13:05:48 Applied mathematics Formal methods Logic in computer science Constraint programming Boolean algebra Boolean satisfiability problem Resolution Unit propagation Clause Theoretical computer science Automated theorem proving Mathematics
42	Optimization Algorithms, Implementations Add to Reading List Source URL: www.cse.ust.hk Language: English - Date: 2009-09-15 12:00:50 Operations research Gradient descent Gradient method Penalty method Conjugate gradient method Constraint optimization PROPT Multidisciplinary design optimization Numerical analysis Numerical linear algebra Mathematical optimization
43	Abstracts Manuel Bodirsky, Ecole Polytechnique The Product Ramsey Theorem in Constraint Satisfaction Complexity In this talk, I show how the product Ramsey theorem can be used jointly with tools from universal algebra to Add to Reading List Source URL: asz.informatik.hu-berlin.de Language: English - Date: 2008-06-05 10:03:31 Planar graphs Graph coloring NP-complete problems Matching Tree decomposition Edge coloring Clique Minimum spanning tree Shortest path problem Graph theory Theoretical computer science Graph operations
44	E MPIRICAL A NALYSIS OF L OCAL S EARCH A LGORITHMS AND P ROBLEM D IFFICULTY IN S ATISFIABILITY by Dave Tae Shik Yoon Add to Reading List Source URL: tidel.mie.utoronto.ca Language: English - Date: 2006-09-14 13:48:35 Mathematics Applied mathematics Operations research Boolean algebra WalkSAT Boolean satisfiability problem Local search Mathematical optimization Satisfiability Theoretical computer science Constraint programming Logic in computer science
45	4 Chapter 3 Introduction To Algebra Extend Your Learning Curve Hand-Shaking Problem There are n persons attending a party. Each person shakes hands with every other person just once. Let T be the total number of hands Add to Reading List Source URL: www.singaporemath.com Language: English - Date: 2012-08-20 22:29:25 Computational science Handshake Constraint algorithm Science Mathematics Gestures Greetings Parting traditions
46	Complexity Issues and Randomization Strategies in Frank-Wolfe Algorithms for Machine Learning Emanuele Frandi 1∗ ESAT-STADIUS KU Leuven, Belgium Add to Reading List Source URL: www.opt-ml.org Language: English - Date: 2014-12-10 11:28:02 Mathematical optimization Operations research Frank–Wolfe algorithm Constraint algorithm Vector space Duality Algebra Mathematics Numerical analysis
47	AN INTRODUCTION TO PROLOG III 1 An Introduction to Prolog III Add to Reading List Source URL: alain.colmerauer.free.fr Language: English - Date: 2010-09-28 13:14:56 Prolog Constraint programming Programming paradigms Information Processing Language Constraint logic programming Logic programming Boolean algebra B-Prolog Software engineering Computing Computer programming
48	Overview Modelling Algorithmic Verification Comp4151 Lecture 9-A Add to Reading List Source URL: www.cse.unsw.edu.au Language: English - Date: 2006-06-05 00:33:08 Mathematical logic Constraint programming Boolean algebra Resolution Conjunctive normal form Unit propagation Davis–Putnam algorithm Ansgar Boolean satisfiability problem Automated theorem proving Theoretical computer science Mathematics
49	Rigid Body Constraints in GSAS The Fireside Guide Ian Swainson Add to Reading List Source URL: www.ccp14.ac.uk Language: English - Date: 2001-06-06 23:35:38 Multilinear algebra Constraint programming Algebraic geometry Homogeneous polynomial
50	Refutation-Complete Binary Decision Diagrams Scott P. Sanner Department of Computer Science University of Toronto Toronto, ON M5S 3G4 Add to Reading List Source URL: users.cecs.anu.edu.au Language: English - Date: 2004-05-05 19:58:06 Boolean algebra Automated theorem proving Constraint programming Mathematical logic Diagrams Binary decision diagram DPLL algorithm Boolean satisfiability problem Resolution Theoretical computer science Mathematics Applied mathematics

UPDATE